81. Discrete mathematics: mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,Mathematics ، Computer science
رده :
QA
9
.
25
.
E57
82. Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,، Computer science -- Mathematics
رده :
QA
9
.
25
.
E57D5
83. Discrete mathematics :mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,Mathematics ، Computer science
رده :
QA
9
.
25
.
E57
2006
84. Discrete structures, logic, and computability
پدیدآورنده : James L. Hein
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
رده :
QA
76
,.
9
.
H42D5
2010
85. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
9
.
M35
,.
H44
2010
86. Discrete structures, logic, and computability
پدیدآورنده : Hein, James L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
76
.
9
.
M35H43
2010
87. Discrete structures with contemporary applications
پدیدآورنده : / Alexander Stanoyevitch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Computer science,Logic, Symbolic and mathematical,Probabilities,-- Mathematics
رده :
004
.
0151
S789D
2010
88. Discrete structures with contemporary applications
پدیدآورنده : Alexander Stanoyevitch
موضوع : Computer science, Mathematics,Logic, Symbolic and mathematical,Probabilities,COMPUTERS / Operating Systems / General, bisacsh,MATHEMATICS / Combinatorics, bisacsh
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
89. Discrete structures with contemporary applications
پدیدآورنده : Stanoyevitch, Alexander
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical,، Probabilities
رده :
QA
76
.
9
.
M35S72
90. Distributed Fuzzy Control of Multivariable Systems
پدیدآورنده : by Alexander Gegov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Systems theory.
91. Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering
پدیدآورنده : by Larisa Angstenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer vision.,Logic, Symbolic and mathematical.,Mathematics.
92. Einführung in die operative Logik und Mathematik
پدیدآورنده : von Paul Lorenzen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
رده :
BC135
.
V667
1969
93. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
94. Essays in the philosophy and history of logic and mathematics /
پدیدآورنده : Roman Murawski ; foreword [by] Jan Woleński
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cantor, Georg,1845-1918,Hilbert, David,1862-1943,Hoene-Wroński, Józef Maria,1776-1853,Logic-- History,Logic, Symbolic and mathematical,Mathematics-- Philosophy,Mathematics-- Philosophy-- History-- 20th century
95. Essays on Husserl's logic and philosophy of mathematics
پدیدآورنده : Stefania Centrone, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Influence ، Husserl, Edmund, 9581-8391,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
B
3279
.
H94E8
96. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
97. Essays on the foundations of mathematics
پدیدآورنده : / by Moritz Pasch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics, Philosophy,Logic, Symbolic and mathematical
رده :
E-BOOK
98. Finite Automata, Formal Logic, and Circuit Complexity
پدیدآورنده : by Howard Straubing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA76
.
9
.
M35
B946
1994
99. Finite automata, formal logic, and circuit complexity
پدیدآورنده : / Howard Straubing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science- Mathematics,Automata,Logic, Symbolic and mathematical,Computational complexity
رده :
QA76
.
9
.
M35
,
S77
1994
100. Finite automata, formal logic, and circuit complexity
پدیدآورنده : Straubing, Howard, 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
